home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / glass / glass.lha / GLASS / contsens / goodskout < prev    next >
INI File  |  1991-02-14  |  6KB  |  204 lines
  1. [
  2. (DefBasetype ("", 5) "B"),
  3. (DefAtom ("", 7) "jkff" [] (TypUni (TypProd [(TypBase "B"), (TypBase "B")]) (TypProd [(TypBase "B"), (TypBase "B")]))),
  4. (DefAtom ("", 8) "and" [] (TypUni (TypProd [(TypBase "B"), (TypBase "B")]) (TypBase "B"))),
  5. (DefAtom ("", 9) "or" [] (TypUni (TypProd [(TypBase "B"), (TypBase "B")]) (TypBase "B"))),
  6. (DefAtom ("", 10) "buf" [] (TypUni (TypBase "B") (TypBase "B"))),
  7. (DefAtom ("", 11) "nand" [] (TypUni (TypProd [(TypBase "B"), (TypBase "B")]) (TypBase "B"))),
  8. (
  9. DefVal
  10. ("", 14)
  11. "counterstage"
  12. (TypUni (TypProd [(TypBase "B"), (TypBase "B"), (TypBase "B"), (TypBase "B")]) (TypProd [(TypBase "B"), (TypBase "B")]))
  13. (
  14. VLambda
  15. (FCList [(FCSym "d_17"), (FCSym "preset_18"), (FCSym "toggle_19"), (FCSym "nclr_20")])
  16. (
  17. VWhere
  18. [
  19. (DefCon ("", 18) (VSym ("", 18) "ja_21") (VAtom ("", 18) "nand" [] (VList [(VSym ("", 18) "ka_22"), (VSym ("", 18) "preset_18")]))),
  20. (DefCon ("", 19) (VSym ("", 19) "ka_22") (VAtom ("", 19) "nand" [] (VList [(VSym ("", 19) "d_17"), (VSym ("", 19) "nclr_20")]))),
  21. (DefCon ("", 20) (VSym ("", 20) "ea_23") (VAtom ("", 20) "or" [] (VList [(VSym ("", 20) "toggle_19"), (VSym ("", 20) "preset_18")])))
  22. ]
  23. (VAtom ("", 16) "jkff" [] (VList [(VAtom ("", 16) "and" [] (VList [(VSym ("", 16) "ja_21"), (VSym ("", 16) "ea_23")])), (VAtom ("", 16) "and" [] (VList [(VSym ("", 16) "ka_22"), (VSym ("", 16) "ea_23")]))]))
  24. )
  25. )
  26. ),
  27. (
  28. DefVal
  29. ("", 28)
  30. "countr"
  31. (TypUni (TypProd [(TypProd [(TypBase "B"), (TypBase "B"), (TypBase "B"), (TypBase "B")]), (TypBase "B"), (TypBase "B"), (TypBase "B"), (TypBase "B")]) (TypProd [(TypBase "B"), (TypProd [(TypBase "B"), (TypBase "B"), (TypBase "B"), (TypBase "B")])]))
  32. (
  33. VLambda
  34. (FCList [(FCList [(FCSym "d3_51"), (FCSym "d2_52"), (FCSym "d1_53"), (FCSym "d0_54")]), (FCSym "nload_55"), (FCSym "nclear_56"), (FCSym "enap_57"), (FCSym "enat_58")])
  35. (
  36. VWhere
  37. [
  38. (
  39. DefCon
  40. ("", 32)
  41. (VSym ("", 32) "carry_59")
  42. (
  43. VApply
  44. (
  45. VLambda
  46. (FCList [(FCSym "x_30_H"), (FCSym "unu_'_0"), (FCSym "unu_'_1"), (FCSym "unu_'_2"), (FCSym "unu_'_3")])
  47. (
  48. VWhere
  49. [(DefCon ("nofile", 0) (VSym ("nofile", 0) "xr_29_D") (VList [(VSym ("nofile", 0) "unu_'_0"), (VSym ("nofile", 0) "unu_'_1"), (VSym ("nofile", 0) "unu_'_2"), (VSym ("nofile", 0) "unu_'_3")]))]
  50. (
  51. VAtom
  52. ("", 25)
  53. "and"
  54. []
  55. (
  56. VList
  57. [
  58. (VSym ("local_macroexp_name", 0) "x_30_H"),
  59. (
  60. VApply
  61. (
  62. VLambda
  63. (FCList [(FCSym "x_30_A"), (FCSym "unu_'_4"), (FCSym "unu_'_5"), (FCSym "unu_'_6")])
  64. (
  65. VWhere
  66. [(DefCon ("nofile", 0) (VSym ("nofile", 0) "xr_29_B") (VList [(VSym ("nofile", 0) "unu_'_4"), (VSym ("nofile", 0) "unu_'_5"), (VSym ("nofile", 0) "unu_'_6")]))]
  67. (
  68. VAtom
  69. ("", 25)
  70. "and"
  71. []
  72. (
  73. VList
  74. [
  75. (VSym ("local_macroexp_name", 0) "x_30_A"),
  76. (
  77. VApply
  78. (
  79. VLambda
  80. (FCList [(FCSym "x_30_k"), (FCSym "unu_'_7"), (FCSym "unu_'_8")])
  81. (
  82. VWhere
  83. [(DefCon ("nofile", 0) (VSym ("nofile", 0) "xr_29_b") (VList [(VSym ("nofile", 0) "unu_'_7"), (VSym ("nofile", 0) "unu_'_8")]))]
  84. (VAtom ("", 25) "and" [] (VList [(VSym ("local_macroexp_name", 0) "x_30_k"), (VApply (VLambda (FCSym "eta_25_q") (VAtom ("", 24) "and" [] (VSym ("local_macroexp_name", 0) "eta_25_q"))) (VSym ("local_macroexp_name", 0) "xr_29_b"))]))
  85. )
  86. )
  87. (VSym ("local_macroexp_name", 0) "xr_29_B")
  88. )
  89. ]
  90. )
  91. )
  92. )
  93. )
  94. (VSym ("local_macroexp_name", 0) "xr_29_D")
  95. )
  96. ]
  97. )
  98. )
  99. )
  100. )
  101. (VList [(VSym ("", 32) "q3_60"), (VSym ("", 32) "q2_61"), (VSym ("", 32) "q1_62"), (VSym ("", 32) "q0_63"), (VSym ("", 32) "enat_58")])
  102. )
  103. ),
  104. (
  105. DefCon
  106. ("", 33)
  107. (VList [(VSym ("", 33) "q3_60"), (VSym ("", 33) "q3'_64")])
  108. (
  109. VApply
  110. (VSym ("", 33) "counterstage")
  111. (
  112. VList
  113. [
  114. (VSym ("", 33) "d3_51"),
  115. (VSym ("", 33) "preset_65"),
  116. (
  117. VApply
  118. (
  119. VLambda
  120. (FCList [(FCSym "x_30_u"), (FCSym "unu_'_9"), (FCSym "unu_'_10"), (FCSym "unu_'_11")])
  121. (
  122. VWhere
  123. [(DefCon ("nofile", 0) (VSym ("nofile", 0) "xr_29_R") (VList [(VSym ("nofile", 0) "unu_'_9"), (VSym ("nofile", 0) "unu_'_10"), (VSym ("nofile", 0) "unu_'_11")]))]
  124. (
  125. VAtom
  126. ("", 25)
  127. "and"
  128. []
  129. (
  130. VList
  131. [
  132. (VSym ("local_macroexp_name", 0) "x_30_u"),
  133. (
  134. VApply
  135. (
  136. VLambda
  137. (FCList [(FCSym "x_30_T"), (FCSym "unu_'_12"), (FCSym "unu_'_13")])
  138. (
  139. VWhere
  140. [(DefCon ("nofile", 0) (VSym ("nofile", 0) "xr_29_y") (VList [(VSym ("nofile", 0) "unu_'_12"), (VSym ("nofile", 0) "unu_'_13")]))]
  141. (VAtom ("", 25) "and" [] (VList [(VSym ("local_macroexp_name", 0) "x_30_T"), (VApply (VLambda (FCSym "eta_25_a") (VAtom ("", 24) "and" [] (VSym ("local_macroexp_name", 0) "eta_25_a"))) (VSym ("local_macroexp_name", 0) "xr_29_y"))]))
  142. )
  143. )
  144. (VSym ("local_macroexp_name", 0) "xr_29_R")
  145. )
  146. ]
  147. )
  148. )
  149. )
  150. )
  151. (VList [(VSym ("", 33) "q2_61"), (VSym ("", 33) "q1_62"), (VSym ("", 33) "q0_63"), (VSym ("", 33) "en_66")])
  152. ),
  153. (VSym ("", 33) "nclr_67")
  154. ]
  155. )
  156. )
  157. ),
  158. (
  159. DefCon
  160. ("", 34)
  161. (VList [(VSym ("", 34) "q2_61"), (VSym ("", 34) "q2'_68")])
  162. (
  163. VApply
  164. (VSym ("", 34) "counterstage")
  165. (
  166. VList
  167. [
  168. (VSym ("", 34) "d2_52"),
  169. (VSym ("", 34) "preset_65"),
  170. (
  171. VApply
  172. (
  173. VLambda
  174. (FCList [(FCSym "x_30_C"), (FCSym "unu_'_14"), (FCSym "unu_'_15")])
  175. (
  176. VWhere
  177. [(DefCon ("nofile", 0) (VSym ("nofile", 0) "xr_29_w") (VList [(VSym ("nofile", 0) "unu_'_14"), (VSym ("nofile", 0) "unu_'_15")]))]
  178. (VAtom ("", 25) "and" [] (VList [(VSym ("local_macroexp_name", 0) "x_30_C"), (VApply (VLambda (FCSym "eta_25_c") (VAtom ("", 24) "and" [] (VSym ("local_macroexp_name", 0) "eta_25_c"))) (VSym ("local_macroexp_name", 0) "xr_29_w"))]))
  179. )
  180. )
  181. (VList [(VSym ("", 34) "q1_62"), (VSym ("", 34) "q0_63"), (VSym ("", 34) "en_66")])
  182. ),
  183. (VSym ("", 34) "nclr_67")
  184. ]
  185. )
  186. )
  187. ),
  188. (
  189. DefCon
  190. ("", 35)
  191. (VList [(VSym ("", 35) "q1_62"), (VSym ("", 35) "q1'_69")])
  192. (VApply (VSym ("", 35) "counterstage") (VList [(VSym ("", 35) "d1_53"), (VSym ("", 35) "preset_65"), (VAtom ("", 35) "and" [] (VList [(VSym ("", 35) "q0_63"), (VSym ("", 35) "en_66")])), (VSym ("", 35) "nclr_67")]))
  193. ),
  194. (DefCon ("", 36) (VList [(VSym ("", 36) "q0_63"), (VSym ("", 36) "q0'_70")]) (VApply (VSym ("", 36) "counterstage") (VList [(VSym ("", 36) "d0_54"), (VSym ("", 36) "preset_65"), (VSym ("", 36) "en_66"), (VSym ("", 36) "nclr_67")]))),
  195. (DefCon ("", 37) (VSym ("", 37) "preset_65") (VAtom ("", 37) "nand" [] (VList [(VSym ("", 37) "nload_55"), (VSym ("", 37) "nclr_67")]))),
  196. (DefCon ("", 38) (VSym ("", 38) "nclr_67") (VAtom ("", 38) "buf" [] (VSym ("", 38) "nclear_56"))),
  197. (DefCon ("", 39) (VSym ("", 39) "en_66") (VAtom ("", 39) "and" [] (VList [(VSym ("", 39) "enap_57"), (VSym ("", 39) "enat_58")])))
  198. ]
  199. (VList [(VSym ("", 30) "carry_59"), (VList [(VSym ("", 30) "q3_60"), (VSym ("", 30) "q2_61"), (VSym ("", 30) "q1_62"), (VSym ("", 30) "q0_63")])])
  200. )
  201. )
  202. )
  203. ]
  204.